Este texto é uma tradução do artigo “Epistemic Risk” (2016) de Duncan Pritchard, em que ele argumenta em favor de uma teoria modal do risco e lança as bases de uma epistemologia antirrisco. O objetivo de Pritchard nesse artigo é duplo: primeiro, ele argumenta que a sua teoria modal do risco é uma extensão natural da sua teoria modal da sorte, desenvolvida em trabalhos anteriores; segundo, ao utilizar sua teoria modal do risco para chegar a uma epistemologia antirrisco, Pritchard argumenta (...) que essa estratégia possui vantagens para responder às preocupações levantadas à sua original teoria antissorte. A saber, uma lacuna de sua epistemologia antissorte pode ser facilmente preenchida por sua epistemologia antirrisco, e há mais motivações para adotar esta última do que a primeira. (shrink)

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.

Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of (...) propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. We use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses. (shrink)

We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Fermé & Reis (2012).

Verbal fluency is a basic function of language that refers to the ability to produce fluent speech. Despite being an essentially linguistic function, its measurements are also used to evaluate executive aspects of verbal behavior. Performance in verbal fluency (VF) tasks varies according to age, education, and cognitive development. Neurodevelopmental disorders that affect the functioning of frontal areas tend to cause lower performance in VF tasks. Despite the relative consensus that has been reached in terms of the use of VF (...) tasks for the diagnosis of dyslexia and attention-deficit/hyperactivity disorder, few studies have considered regional variations in Brazil. The present study sought to provide normative data on VF tasks in children by considering gender, age, education, and geopolitical region of origin with auxiliary purposes in neuropsychological diagnosis of disorders that occur with executive changes The study included 298 participants, 7-10 years of age of both genders, who performed three letter fluency tasks and three category fluency tasks. The data were subjected to correlational and variance analyses, with age and gender as factors. No effect of gender on the children’s performance was found. However, significant differences between age groups were observed, with better performance in letter tasks in older children and better performance in letter tasks compared with category tasks. Significant regional differences in performance on the letter VF task were observed. These results reinforce the importance of regional normative data in countries with high regional cultural variations, such as Brazil. (shrink)

Estuda de forma multidisciplinar a bioética e o biodireito, em face dos avanços provocados pela biotecnologia na área jurídica e metajurídica.

Falaremos de uma cidadania criativa que se configura lentamente na sociedade contemporânea. Consumo, beleza, vaidade, moda e corpo são elementos que irão fazer o campo da cultura refletir sobre conceitos que estavam, por muito tempo, sedimentados no campo da Comunicação. As jovens mulheres que se autointitulam “ratas” e seu estilo de vida nos guiaram para problematizar questões relativas às sociabilidades comunitárias e à cidadania cultural. Este trabalho faz uma imersão de campo na comunidade na favela da Candelária, na Mangueira, Rio (...) de Janeiro. (shrink)

O presente artigo apresenta um relato de experiência das ações extensionistas promovidas no ano de 2021 pelo Núcleo de Estudos Afro-brasileiros e Indígenas (NEABI) do Campus Ibirama da Instituto Federal Catarinense. Devido ao contexto de pandemia de COVID-19, que perdurou durante quase todo o ano letivo de 2021, as atividades do Núcleo precisaram ser adaptadas para que ocorressem em ambientes virtuais. Apesar desta adequação forçada, que limitou em grande medida a diversidade das ações, foi possível identificar tanto o promissor potencial (...) do NEABI quanto os desafios a serem superados para que a temática étnico-racial seja definitivamente incluída nos espaços institucionais e passe a fazer parte do cotidiano da comunidade escolar. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...) are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

O objetivo deste artigo é fomentar o debate acerca da relação entre o pensamento do filósofo napolitano Giambattista Vico (1668-1744) e as disciplinas da chamada Studia humanitatis. A partir das reflexões sobre a natureza humana, sobretudo na sua maior obra, a Scienza Nuova, é possível identificar uma grande articulação com as grandes disciplinas das humanidades, como o Direito, Filologia, História, Literatura, Poesia e Retórica. Este empenho multidisciplinar conduziu o filósofo a configurar um compêndio de discussões que vão desde a questão (...) acerca da origem da poesia, passando pela crítica ao direito natural e refletindo sobre as origens das línguas e das letras. Haja visto que o contexto no qual Vico estava inserido situava-se numa Nápoles de clara efervescência da filosofia cartesiana, não seria de se estranhar que a busca por uma valoração destes saberes humanísticos percorrera as reflexões do filósofo italiano. Portanto, é nesta articulação entre estas disciplinas das humanidades que a latência da filosofia de Vico é atestada, e com isso, se tem os mecanismos para compreender os fatos envolvidos na trajetória daquilo que o filósofo chama de gênero humano. (shrink)

A interação entre o direito, filosofia, filologia, história e literatura, proporcionou ao pensamento de Giambattista Vico (1668-1744) o trânsito nas várias disciplinas do conhecimento humano. Nessa articulação multidisciplinar na qual buscava traçar a genealogia da sociabilidade humana, a figura de Homero é destacada pelo autor ao identificar nos poemas homéricos os dois grandes tesouros da gentilidade. No seu opus magnum, a Scienza Nuova, dedica ao terceiro livro ''Sulla discoverta del Vero Omero'' uma análise detalhada acerca dos poemas homéricos e sua (...) relação com as etapas do desenvolvimento do mundo grego, onde busca objetos que comprovem a veracidade histórica de Homero assim como de seus escritos. Portanto, a finalidade deste artigo é descrever o percurso argumentativo usado por Vico para investigar o poeta grego e seus poemas épicos. (shrink)

Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...) give a complete characterization of that more general kind of revision and will show how permits to unify models of revision given by other authors. Alchourrón dedicó sus últimos años al análisis de la noción de condicionalización derrotable. Desarrolló un sistema formal que captura los aspectos esenciales de esta noción. Su definición de condicional revisable está dada en términos del operador de implicación estricta y un operador modal f el cual es interpretado en el nivel del lenguaje como una función de revisión. En este trabajo señalamos que la función de revisión subyacente es más general que la bien conocida función de revisión de AGM. Además, presentaremos una caracterización completa de una clase de revisión más general y mostraremos cómo nuestro modelo permite unificar los modelos de revisión propuestos por otros autores. (shrink)

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...) paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.

A construção da identidade organizacional no século XXI está intrinsecamente ligada à comunicação e ao discurso, especialmente após a aceleração das transformações digitais impulsionadas pela pandemia. Este artigo explora como a identidade discursiva das organizações, particularmente startups, é formada e comunicada através de interações contínuas e discursos que moldam a percepção interna e externa da organização. A análise se baseia em teorias de autores como Albert e Whetten (1985), Brewer (1991; 1996) Charaudeau (2009), Maingueneau (2008) e Jung (2009), enfatizando a (...) importância de um self organizacional coerente para a sustentabilidade e reconhecimento no contexto corporativo. O estudo oferece insights sobre como startups podem estruturar suas identidades discursivas e sociais para construir uma marca sólida e confiável. (shrink)

This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and (...) on the other hand pointing out open issues and potential directions for future research. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 O presente estudo pretende analisar algumas questões relacionadas à forma como a historiografia avaliou a contribuiçáo lógica oferecida pelos filósofos estoicos. Trata-se, sobretudo, de dois posicionamentos em aberta oposiçáo: uma primeira análise é essencialmente negativa e depreciativa, negando qualquer valor às elaborações estoicas no campo da lógica; de outra parte, existe uma revalorizaçáo da importância da lógica dos estoicos na história da Filosofia, de modo geral, e na história da Lógica, especificamente. A principal (...) referência positiva aqui sublinhada é o trabalho do lógico Lukasiewicz. Pretende-se, assim, oferecer subsídios para uma reflexáo que amplie a avaliaçáo do potencial que a lógica estoica oferece aos estudiosos da Filosofia e da Lógica. (shrink)

This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.

A Estratégia Saúde da Família (ESF) busca se confirmar como intervenção emancipadora e transformadora dos sujeitos, consideradas a preocupação com o acolhimento e a especificidade da atenção, como no caso mães adolescentes. O objetivo deste trabalho foi estudar as condições para a implantação de um ..

Departing from modal logic, Jean-Yves Girard, as a logician interested in philosophy, presented a distinction between essentialism and existentialism in logic. Carlos Lobo reflected about the Girard’s concept to reinterpret the Husserlian Platonism in regard of the status of logical modalities. We start rescuing the notion of modal logic in the Edmund Husserl’s works, especially Formal and Transcendental Logic and First Philosophy. Developing this reflexion, we propose a new contribution to this discussion, reinterpreting the platonic influence in the Husserlian notions (...) of eidos and science, light of some readings of Lee Hardy and Johanna M. Tito. As a conclusion of this dialogue between Husserl and Girard, the method of eidetic variation is presented as a tool to review the idea of science, in a manner consistent with the phenomenological approach. (shrink)

The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...) hypotheses were formulated to measure clinical and surrogate endpoints. We posited that conscious pairing adequately pleasant stimuli with tinnitus perception results in correction of the loudness misperception and would be reinforced by concurrent active HD-tDCS on the left Dorsolateral Prefrontal Cortex. The dose-response relationship between HD-tDCS specificity and the loudness perception is also modeled. We conducted a double-blind, randomized crossover pilot study with six recruited tinnitus patients. Accrued data was utilized to design a well-controlled adaptive seamless Bayesian dose-response study. The sample size and optimum interims were anticipated for adaptive decision-making about efficacy, safety, and single session dose parameters. Furthermore, preliminary pilot study results were sufficient to show a significant difference within the longitudinally detected self-report tinnitus loudness between before and under positive emotion induction. This study demonstrated a research methodology used to improve emotion regulation in tinnitus patients. In the projected method, positive emotion induction is essential for promoting functional targeting under HD-tDCS anatomical specificity to indicate the efficacy and facilitate the dose-finding process. The continuous updating of prior knowledge about efficacy and dose during the exploratory stage adapts the anticipated dose-response model. Consequently, the effective dose range to make superiority neuromodulation in correcting loudness misperception of tinnitus will be redefined. Highly effective dose adapts the study to a standard randomized trial and transforms it into the confirmatory stage in which active HD-tDCS protocol is compared with a sham trial. Establishing the HD-tDCS intervention protocols relying on this novel method provides reliable evidence for regulatory agencies to approve or reject the efficacy and safety. Furthermore, this paper supports a technical report for designing multimodality data-driven complementary investigations in emotion regulation, including EEG-driven neuro markers, Stroop-driven attention biases, and neuroimaging-driven brain network dynamics. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...) its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic. (shrink)

Warming up prior to competition is a widely accepted strategy to increase players’ readiness and achieve high performances. However, pre-match routines are commonly based on empirical knowledge and strongly influenced by models emerging from elite team practices. The aim of the present study was to identify and analyze current pre-match warm-up practices in elite futsal. Forty-three elite players were analyzed during their pre-match warm-up routines during the Portuguese Futsal Cup Final 8. Warm-up tasks were classified according to duration, type of (...) activity, sequence, and structure. External load variables included the total distance covered, total distance covered per minute, running distance per minute, sprinting distance per minute, number of accelerations per minute, and number of decelerations per minute. Results highlighted that warm-up routines lasted for 27.5 ± 9.2 min and included nine major different tasks. Open-skill activities were prioritized by coaches; competitive and non-competitive futsal-specific tasks were included in 90% of the total warm-up routines, with higher focus on non-competitive tasks. The intensity progressively increased during warm-ups, mainly because of the higher number of accelerations and decelerations per minute. Pre-match warm-up routines strongly endorse futsal-specific and representative tasks in order to establish pre-match settings able to prepare players for the upcoming game. When designing pre-match warm-up routines, coaches should be aware that duration, sequence, and type of tasks may affect players’ acute performance and readiness. (shrink)

O objetivo desta publicação é incentivar a produção filosófica de excelência por parte de pesquisadores notadamente influenciados pela filosofia de Wittgenstein e cujos temas possam suscitar um debate aprofundado. Além de desafiar o empreendimento filosófico contemporâneo, os temas aqui apresentados abordam questões que muitas vezes estão além daquelas consideradas por Wittgenstein em seu tempo. O leitor encontrará neste volume questões relacionadas ao ceticismo semântico e epistêmico, ao relativismo ético, às leituras literárias de Wittgenstein, ao problema das outras mentes e percepção (...) de aspectos, a intersubjetividade e o caráter contrassensual do Tractatus Logico-Philosophicus, e, também, relacionadas ao Paradoxo de Moore. (shrink)